No more, no less - A formal model for serverless computing

Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure. The infrastructure takes care of executing the functions whenever requested by remote clients, dealing automatically with distribution and scaling with respect to inbound traffic. While vendors already support a variety of programming languages for serverless computing (e.g. Go, Java, Javascript, Python), as far as we know there is no reference model yet to formally reason on this paradigm. In this paper, we propose the first formal programming model for serverless computing, which combines ideas from both the $\lambda$-calculus (for functions) and the $\pi$-calculus (for communication). To illustrate our proposal, we model a real-world serverless system. Thanks to our model, we are also able to capture and pinpoint the limitations of current vendor technologies, proposing possible amendments

Chemotactic response and adaptation dynamics in Escherichia coli

Adaptation of the chemotaxis sensory pathway of the bacterium Escherichia coli is integral for detecting chemicals over a wide range of background concentrations, ultimately allowing cells to swim towards sources of attractant and away from repellents. Its biochemical mechanism based on methylation and demethylation of chemoreceptors has long been known. Despite the importance of adaptation for cell memory and behavior, the dynamics of adaptation are difficult to reconcile with current models of precise adaptation. Here, we follow time courses of signaling in response to concentration step changes of attractant using in vivo fluorescence resonance energy transfer measurements. Specifically, we use a condensed representation of adaptation time courses for efficient evaluation of different adaptation models. To quantitatively explain the data, we finally develop a dynamic model for signaling and adaptation based on the attractant flow in the experiment, signaling by cooperative receptor complexes, and multiple layers of feedback regulation for adaptation. We experimentally confirm the predicted effects of changing the enzyme-expression level and bypassing the negative feedback for demethylation. Our data analysis suggests significant imprecision in adaptation for large additions. Furthermore, our model predicts highly regulated, ultrafast adaptation in response to removal of attractant, which may be useful for fast reorientation of the cell and noise reduction in adaptation.Comment: accepted for publication in PLoS Computational Biology; manuscript (19 pages, 5 figures) and supplementary information; added additional clarification on alternative adaptation models in supplementary informatio

Stressor- and Corticotropin releasing Factor-induced Reinstatement and Active Stress-related Behavioral Responses are Augmented Following Long-access Cocaine Self-administration by Rats

Rationale Stressful events during periods of drug abstinence likely contribute to relapse in cocaine-dependent individuals. Excessive cocaine use may increase susceptibility to stressor-induced relapse through alterations in brain corticotropin-releasing factor (CRF) responsiveness. Objectives This study examined stressor- and CRF-induced cocaine seeking and other stress-related behaviors in rats with different histories of cocaine self-administration (SA). Materials and methods Rats self-administered cocaine under short-access (ShA; 2 h daily) or long-access (LgA; 6 h daily) conditions for 14 days or were provided access to saline and were tested for reinstatement by a stressor (electric footshock), cocaine or an icv injection of CRF and for behavioral responsiveness on the elevated plus maze, in a novel environment and in the light–dark box after a 14- to 17-day extinction/withdrawal period. Results LgA rats showed escalating patterns of cocaine SA and were more susceptible to reinstatement by cocaine, EFS, or icv CRF than ShA rats. Overall, cocaine SA increased activity in the center field of a novel environment, on the open arms of the elevated plus maze, and in the light compartment of a light–dark box. In most cases, the effects of cocaine SA were dependent on the pattern/amount of cocaine intake with statistically significant differences from saline self-administering controls only observed in LgA rats. Conclusions When examined after several weeks of extinction/ withdrawal, cocaine SA promotes a more active pattern of behavior during times of stress that is associated with a heightened susceptibility to stressor-induced cocaine-seeking behavior and may be the consequence of augmented CRF regulation of addiction-related neurocircuitry

Characterization of complex networks: A survey of measurements

Each complex network (or class of networks) presents specific topological features which characterize its connectivity and highly influence the dynamics of processes executed on the network. The analysis, discrimination, and synthesis of complex networks therefore rely on the use of measurements capable of expressing the most relevant topological features. This article presents a survey of such measurements. It includes general considerations about complex network characterization, a brief review of the principal models, and the presentation of the main existing measurements. Important related issues covered in this work comprise the representation of the evolution of complex networks in terms of trajectories in several measurement spaces, the analysis of the correlations between some of the most traditional measurements, perturbation analysis, as well as the use of multivariate statistics for feature selection and network classification. Depending on the network and the analysis task one has in mind, a specific set of features may be chosen. It is hoped that the present survey will help the proper application and interpretation of measurements.Comment: A working manuscript with 78 pages, 32 figures. Suggestions of measurements for inclusion are welcomed by the author

Stress-Induced Reinstatement of Drug Seeking: 20 Years of Progress

In human addicts, drug relapse and craving are often provoked by stress. Since 1995, this clinical scenario has been studied using a rat model of stress-induced reinstatement of drug seeking. Here, we first discuss the generality of stress-induced reinstatement to different drugs of abuse, different stressors, and different behavioral procedures. We also discuss neuropharmacological mechanisms, and brain areas and circuits controlling stress-induced reinstatement of drug seeking. We conclude by discussing results from translational human laboratory studies and clinical trials that were inspired by results from rat studies on stress-induced reinstatement. Our main conclusions are (1) The phenomenon of stress-induced reinstatement, first shown with an intermittent footshock stressor in rats trained to self-administer heroin, generalizes to other abused drugs, including cocaine, methamphetamine, nicotine, and alcohol, and is also observed in the conditioned place preference model in rats and mice. This phenomenon, however, is stressor specific and not all stressors induce reinstatement of drug seeking. (2) Neuropharmacological studies indicate the involvement of corticotropin-releasing factor (CRF), noradrenaline, dopamine, glutamate, kappa/dynorphin, and several other peptide and neurotransmitter systems in stress-induced reinstatement. Neuropharmacology and circuitry studies indicate the involvement of CRF and noradrenaline transmission in bed nucleus of stria terminalis and central amygdala, and dopamine, CRF, kappa/dynorphin, and glutamate transmission in other components of the mesocorticolimbic dopamine system (ventral tegmental area, medial prefrontal cortex, orbitofrontal cortex, and nucleus accumbens). (3) Translational human laboratory studies and a recent clinical trial study show the efficacy of alpha-2 adrenoceptor agonists in decreasing stress-induced drug craving and stress-induced initial heroin lapse

CMB Telescopes and Optical Systems

The cosmic microwave background radiation (CMB) is now firmly established as a fundamental and essential probe of the geometry, constituents, and birth of the Universe. The CMB is a potent observable because it can be measured with precision and accuracy. Just as importantly, theoretical models of the Universe can predict the characteristics of the CMB to high accuracy, and those predictions can be directly compared to observations. There are multiple aspects associated with making a precise measurement. In this review, we focus on optical components for the instrumentation used to measure the CMB polarization and temperature anisotropy. We begin with an overview of general considerations for CMB observations and discuss common concepts used in the community. We next consider a variety of alternatives available for a designer of a CMB telescope. Our discussion is guided by the ground and balloon-based instruments that have been implemented over the years. In the same vein, we compare the arc-minute resolution Atacama Cosmology Telescope (ACT) and the South Pole Telescope (SPT). CMB interferometers are presented briefly. We conclude with a comparison of the four CMB satellites, Relikt, COBE, WMAP, and Planck, to demonstrate a remarkable evolution in design, sensitivity, resolution, and complexity over the past thirty years.Comment: To appear in: Planets, Stars and Stellar Systems (PSSS), Volume 1: Telescopes and Instrumentatio

No More, No Less - A Formal Model for Serverless Computing

Part 3: Exploring New FrontiersInternational audienceServerless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure. The infrastructure takes care of executing the functions whenever requested by remote clients, dealing automatically with distribution and scaling with respect to inbound traffic.While vendors already support a variety of programming languages for serverless computing (e.g. Go, Java, Javascript, Python), as far as we know there is no reference model yet to formally reason on this paradigm. In this paper, we propose the first core formal programming model for serverless computing, which combines ideas from both the lambda-calculus (for functions) and the pi-calculus (for communication). To illustrate our proposal, we model a real-world serverless system. Thanks to our model, we capture limitations of current vendors and formalise possible amendments

Increased sensitivity to gemcitabine of P-glycoprotein and multidrug resistance-associated protein-overexpressing human cancer cell lines

0.05), respectively. P-glycoprotein and MRP1 overexpression possibly caused a cellular stress resulting in increased gemcitabine metabolism and sensitivity, while reversal of collateral gemcitabine sensitivity by verapamil also suggests a direct relation between the presence of membrane efflux pumps and gemcitabine sensitivity

Association between Physical Activity and Cardiovascular Risk in Chinese Youth Independent of Age and Pubertal Stage

<p>Abstract</p> <p>Background</p> <p>Childhood and adolescence are critical periods of habit formation with substantial tracking of lifestyle and cardiovascular risk into adulthood. There are various guidelines on recommended levels of physical activity in youth of school-age. Despite the epidemic of obesity and diabetes in China, there is a paucity of data in this regard in Chinese youth. We examined the association of self-reported level of physical activity and cardiovascular risk in Hong Kong Chinese youth of school-age.</p> <p>Methods</p> <p>This was a cross-sectional study conducted in 2007-8 in a school setting with 2119 Hong Kong Chinese youth aged 6-20 years. Physical activity level was assessed using a validated questionnaire, CUHK-PARCY (The Chinese University of Hong Kong: Physical Activity Rating for Children and Youth). A summary risk score comprising of waist circumference, blood pressure, fasting plasma glucose and lipids was constructed to quantify cardiovascular risk.</p> <p>Results</p> <p>In this cohort, 21.5% reported high level of physical activity with boys being more active than girls (32.1% versus 14.1%, p < 0.001). Regression analysis showed physical activity level, sex and pubertal stage were independently associated with cardiovascular risk score.</p> <p>Conclusion</p> <p>Self-reported level of physical activity is associated with cardiovascular risk factors in Chinese youth after adjusting for sex and pubertal stage.</p